Casper CBC: implementation questions overview
https://github.com/LayerXcom/cbc-beacon-chain/issues
Spec
Inside the minimum spec
S: Message validation (justification, etc.)
Minimum required for safety oracle, fork choice
How Casper Lab(RChain) is doing?
Outside the minimum spec
C: Block proposal (slot, etc.)
ref ETH2.0
A: Validator rotation (deposit, withdraw, weight in message?)
B: Slashing
B: Signature scheme
B: Fork choice
Major problems or controversial points
Casper CBC: Justification
Casper CBC: Validator Rotation
Casper CBC: Message validation
others
Casper CBC: Initial Message
Casper CBC: message and block identity
Casper CBC: timing for block proposal
message hash linking
https://github.com/ethereum/cbc-casper/pull/106
https://github.com/ethereum/cbc-casper/pull/120
there is a possibility of having same score in fork choice? (tie?)
https://github.com/ethereum/cbc-casper/issues/11
safety oracle
https://github.com/ethereum/cbc-casper/pull/45
https://gitter.im/cbc-casper/Lobby?at=5a25e380c65707ba2b1146a1
https://techspec.casperlabs.io/introduction/product-specification/decentralized-consensus#agreement-graphs-and-decision-weights
simulation
https://github.com/ethereum/cbc-casper/issues/75
network
https://github.com/ethereum/cbc-casper/issues/104
#Casper